141. Encyclopedia of geographic information science
پدیدآورنده: / editor, Karen K. Kemp
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: Geographic information systems -- Encyclopedias, نظام‌های اطلاعاتی جغرافیایی -- دایره المعارفها
رده :
G70
.
212
.
E53
142. Encyclopedia of information technology curriculum integration [electronic resource]
پدیدآورنده: / [edited by] Lawrence A. Tomei
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Educational technology--Encyclopedias,Information technology--Encyclopedias,Education--Curricula--Encyclopedias
رده :
EB
,
LB1028
.
3
.
E63
2008
143. Engineering trustworthy software systems :
پدیدآورنده: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
144. Enterprise Information Systems II
پدیدآورنده: edited by Bernadette Sharp, Joaquim Filipe, José Cordeiro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Software engineering.
رده :
T58
.
6
E358
2001
145. Extending the horizons :
پدیدآورنده: edited by Edward K. Baker ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Operations research, Congresses.
146. FM '99 - formal methods / 2.
پدیدآورنده: Jeannette M. Wing ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
147. Forced migration, human rights and security /
پدیدآورنده: edited by Jane McAd
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
148. Formal Aspects of Component Software :
پدیدآورنده: edited by Corina S. Pasareanu, Gwen Salaün.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
149. Formal Engineering for Industrial Software Development :
پدیدآورنده: by Shaoying Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
150. Formal Methods in Programming and Their Applications :
پدیدآورنده: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
151. Formal Techniques for Automated Design of Adaptive Networked Systems Based on Security and Resiliency Requirements
پدیدآورنده: Jakaria, A. H. M.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science
152. Formal Techniques for Automated Design of Adaptive Networked Systems Based on Security and Resiliency Requirements
پدیدآورنده: Jakaria, A. H. M.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science
153. Formal aspects of component software :
پدیدآورنده: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
154. Formal methods and software engineering :
پدیدآورنده: Jing Sun, Meng Sun (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
155. Formal methods, foundations and applications :
پدیدآورنده: Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
156. Formal modeling :
پدیدآورنده: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
157. Formal modeling and analysis of timed systems :
پدیدآورنده: Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
158. Formal specification :
پدیدآورنده: Nimal Nissanke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software -- Development.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N563
1999
159. Formal techniques for networked and distributed systems
پدیدآورنده: / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
160. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده: edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
